1
Foundations of Second-Order Linear ODEs
MATH009 Lesson 3
00:00
Imagine stepping from a one-dimensional world into a two-dimensional landscape of motion. In first-order dynamics, we tracked simple growth and decay. But to model the swing of a pendulum or the bounce of a suspension bridge, we need the Second-Order Linear Operator. This slide builds the mathematical "safety net"—the theorems that guarantee solutions exist—and the algebraic bridge that allows us to solve differential calculus problems using simple quadratic equations.

1. The Linear Differential Operator

We define the second-order linear differential operator $L$ acting on a function $\phi$ as:

$L[\phi] = \phi'' + p(t)\phi' + q(t)\phi$

For a homogeneous equation $L[y] = 0$, the Principle of Superposition states that if $y_1$ and $y_2$ are solutions, then their linear combination $y = c_1y_1(t) + c_2y_2(t)$ is also a solution. This linearity is the foundation of structural engineering and signal processing.

Theorem 3.2.1: Existence and Uniqueness
Consider the initial value problem $y'' + p(t)y' + q(t)y = g(t)$ with $y(t_0) = y_0, y'(t_0) = y_0'$. If $p, q,$ and $g$ are continuous on an open interval $I$ containing $t_0$, then a unique solution $y = \phi(t)$ exists throughout $I$.

2. Constant Coefficients & Algebraic Reduction

When coefficients are constant ($ay'' + by' + cy = 0$), we assume a solution of the form $y = e^{rt}$. Substituting this into the ODE yields the Characteristic Equation:

$ar^2 + br + c = 0$

When the roots $r_1, r_2$ are real and distinct, the general solution is synthesized as:

$y = c_1 e^{r_1 t} + c_2 e^{r_2 t}$

Example: Distinct Roots (Example 2 & 3)

Problem
Solve $y'' + 5y' + 6y = 0$ with $y(0)=2, y'(0)=3$.
Solution
1. Characteristic Eq: $r^2 + 5r + 6 = 0 \implies (r+2)(r+3)=0$. Roots: $r_1=-2, r_2=-3$.
2. General Solution: $y = c_1 e^{-2t} + c_2 e^{-3t}$.
3. Constants: For $y(0)=2$ and $y'(0)=3$, we solve the system to find specific constants for this physical state.

3. Exact Equations and the Adjoint

An equation $P(x)y'' + Q(x)y' + R(x)y = 0$ is Exact if it can be condensed into the form $(P(x)y')' + (f(x)y)' = 0$. To analyze these, we use the Adjoint Equation:

$P\mu'' + (2P' - Q)\mu' + (P'' - Q' + R)\mu = 0$

🎯 Core Principle
The transition from calculus to algebra via the characteristic equation transforms dynamic rates of change into static algebraic points. The constants $c_1$ and $c_2$ are uniquely determined by initial conditions, locking the system's trajectory.
$c_1 = \frac{y_0' - y_0 r_2}{r_1 - r_2} e^{-r_1 t_0}, \quad c_2 = \frac{y_0 r_1 - y_0'}{r_1 - r_2} e^{-r_2 t_0}$